- Induced Determination of Consistent Snapshots
نویسندگان
چکیده
A classical way to determine consistent snapshots consists in using Chandy-Lamport's algorithm. This algorithm relies on speciic control messages that allow processes to synchronize local checkpoint determination and message recording in order the resulting snapshot be consistent. This paper investigates a communication-induced approach to determine consistent snapshots. In such an approach, control information is carried by application messages. Two abstract necessary and suucient conditions are stated: one associated with global checkpoint consistency, the other associated with message recording. A general protocol is derived from these abstract conditions. Actually, this general protocol can be instantiated in distinct ways, giving rise to a family of communication-induced snapshot protocols. This general protocol shows there is an intrinsic tradeoo between the number of forced checkpoints and the number of recorded messages. Finally, a particular instantiation of the general protocol is provided. D etermination d' etats globaux coh erents sans synchronisation explicite R esum e : Le protocole de Chandy et Lamport est le moyen classique de d etermination d' etats globaux coh erents. Il est fond e sur l'emploi de messages de contr^ ole qui permettent de synchroniser les dii erents processus aan d'assurer la coh erence de l' etat global d etermin e. Cet article explore une nouvelle approche qui consiste a faire jouer le r^ ole de messages de synchronisation aux messages de l'application en leur faisant transporter une information de contr^ ole. Pour ce faire, deux conditions n ecessaires et suusantes sont pr e-sent ees. Elle concernent respectivement la coh erence des etats globaux et la journalisation des messages en transit. Le protocole d eriv e de ces deux conditions peut ^ etre instanci e de dii erentes faa cons donnant lieu a une famille de protocoles.
منابع مشابه
Communication-Induced Determination of Consistent Snapshots
A classical way to determine consistent snapshots consists in using Chandy-Lamport’s algorithm. This algorithm relies on specific control messages that allow processes to synchronize local checkpoint determination and message recording in order the resulting snapshot be consistent. This paper investigates a communication-induced approach to determine consistent snapshots. In such an approach, c...
متن کاملFlow Visualization by Conditional Sampling of a Single X-Wire Probe in a Very Long Run Experiment
Flow visualization techniques using tracer markers such as die, smoke, hydrogen bubbles, etc., have been widely used in experimental investigations of large scale structures of a variety of flow fields. They have played an important role in understanding the physics of the coherent structures formation and evolution in the transitional as well as the turbulent regions of the flow fields. Howeve...
متن کاملNephroprotective activity of Mammea africana stem bark against paracetamol induced kidney injury
Background & Aim: Mammea africana sabine (Guttiferae) stembark commonly used traditionally to treat various diseases and ailments was evaluated for nephroprotective activity against paracetamol – induced kidney injury in rats to confirm its use in the treatment of kidney diseases. Experimental: The nephroprotective effect of the extract was evaluated by the determination of some kidn...
متن کاملNephroprotective activity of Mammea africana stem bark against paracetamol induced kidney injury
Background & Aim: Mammea africana sabine (Guttiferae) stembark commonly used traditionally to treat various diseases and ailments was evaluated for nephroprotective activity against paracetamol – induced kidney injury in rats to confirm its use in the treatment of kidney diseases. Experimental: The nephroprotective effect of the extract was evaluated by the determination of some kidn...
متن کاملFlow Visualization by Conditional Sampling of a Single X-Wire Probe in a Very Long Run Experiment
Flow visualization techniques using tracer markers such as die, smoke, hydrogen bubbles, etc., have been widely used in experimental investigations of large scale structures of a variety of flow fields. They have played an important role in understanding the physics of the coherent structures' formation and evolution in the transitional as well as the turbulent regions of the flow fields. Howev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997